| PySAT: A Python toolkit for prototyping with SAT oracles A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2018 | 402 | 2018 |
| Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019 | 300 | 2019 |
| RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 53-64, 2019 | 183 | 2019 |
| Learning Optimal Decision Trees with SAT N Narodytska, A Ignatiev, F Pereira, J Marques-Silva IJCAI, 1362-1368, 2018 | 180 | 2018 |
| Towards Trustable Explainable AI A Ignatiev IJCAI, 5154-5158, 2020 | 169 | 2020 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva Advances in neural information processing systems 32, 2019 | 155 | 2019 |
| Delivering trustworthy AI through formal XAI J Marques-Silva, A Ignatiev Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12342 …, 2022 | 152 | 2022 |
| On explaining decision trees Y Izza, A Ignatiev, J Marques-Silva arXiv preprint arXiv:2010.11034, 2020 | 138 | 2020 |
| Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015 | 108 | 2015 |
| From contrastive to abductive explanations and back again A Ignatiev, N Narodytska, N Asher, J Marques-Silva International Conference of the Italian Association for Artificial …, 2020 | 98 | 2020 |
| Explaining naive bayes and other linear classifiers with polynomial time and delay J Marques-Silva, T Gerspacher, M Cooper, A Ignatiev, N Narodytska Advances in Neural Information Processing Systems 33, 20590-20600, 2020 | 90 | 2020 |
| On tackling explanation redundancy in decision trees Y Izza, A Ignatiev, J Marques-Silva Journal of Artificial Intelligence Research 75, 261-321, 2022 | 86 | 2022 |
| Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 83 | 2019 |
| A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 78 | 2018 |
| Explanations for Monotonic Classifiers J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska International Conference on Machine Learning, 7469-7479, 2021 | 75 | 2021 |
| Using MaxSAT for efficient explanations of tree ensembles A Ignatiev, Y Izza, PJ Stuckey, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 3776-3785, 2022 | 73 | 2022 |
| Mscg: Robust core-guided MaxSAT solving: System description A Morgado, A Ignatiev, J Marques-Silva Journal on Satisfiability, Boolean Modelling and Computation 9 (1), 129-134, 2014 | 70 | 2014 |
| On validating, repairing and refining heuristic ML explanations A Ignatiev, N Narodytska, J Marques-Silva arXiv preprint arXiv:1907.02509, 2019 | 69 | 2019 |
| On efficiently explaining graph-based classifiers X Huang, Y Izza, A Ignatiev, J Marques-Silva arXiv preprint arXiv:2106.01350, 2021 | 66 | 2021 |
| Efficient Model Based Diagnosis with Maximum Satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015 | 64 | 2015 |
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
